Randal E. Bryant (auth.): buscar en el sitio web de Z-Library

Libre acceso a los conocimientos y la cultura.

Don't use scam websites

Libros (11)
Más populares
Lista
- Lista
- Tabla

1

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

Año:

1998

Idioma:

english

Archivo:

PDF, 3.04 MB

0 / 0

english, 1998

2

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 6.53 MB

0 / 0

english, 2004

3

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 11.05 MB

0 / 0

english, 2004

4

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Pierre Wolper (eds.)

Año:

1995

Idioma:

english

Archivo:

DJVU, 4.32 MB

0 / 0

english, 1995

5

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Randal E. Bryant, James H. Kukula (auth.), Andreas Kuehlmann (eds.)

Año:

2003

Idioma:

english

Archivo:

PDF, 36.96 MB

0 / 0

english, 2003

6

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Año:

2004

Idioma:

english

Archivo:

PDF, 11.79 MB

0 / 0

english, 2004

7

Third Caltech Conference on Very Large Scale Integration

Third Caltech Conference on Very Large Scale Integration

Springer-Verlag Berlin Heidelberg

Egon Hörbst, Gerd Sandweg, Stefan Wallstab (auth.), Randal Bryant (eds.)

Año:

1983

Idioma:

english

Archivo:

PDF, 17.01 MB

0 / 0

english, 1983

8

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 4.02 MB

0 / 0

english, 2006

9

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 5.75 MB

0 / 0

english, 1999

10

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 13.67 MB

0 / 0

english, 1999

11

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 3.76 MB

0 / 0

english, 2006